Function ^_Dfa>=0-Df

Part of:

package lisplab
( ^_dfa>=0-df < a > < b > < c > )